Optimal. Leaf size=132 \[ \frac {63 x \sec ^2(x)}{256 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \cos (x) \sin (x)}{128 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \cos ^3(x) \sin (x)}{160 a^2 \sqrt {a \sec ^4(x)}}+\frac {9 \cos ^5(x) \sin (x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {63 \tan (x)}{256 a^2 \sqrt {a \sec ^4(x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 132, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 3, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.300, Rules used = {4208, 2715, 8}
\begin {gather*} \frac {63 x \sec ^2(x)}{256 a^2 \sqrt {a \sec ^4(x)}}+\frac {63 \tan (x)}{256 a^2 \sqrt {a \sec ^4(x)}}+\frac {\sin (x) \cos ^7(x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {9 \sin (x) \cos ^5(x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \sin (x) \cos ^3(x)}{160 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \sin (x) \cos (x)}{128 a^2 \sqrt {a \sec ^4(x)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 2715
Rule 4208
Rubi steps
\begin {align*} \int \frac {1}{\left (a \sec ^4(x)\right )^{5/2}} \, dx &=\frac {\sec ^2(x) \int \cos ^{10}(x) \, dx}{a^2 \sqrt {a \sec ^4(x)}}\\ &=\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {\left (9 \sec ^2(x)\right ) \int \cos ^8(x) \, dx}{10 a^2 \sqrt {a \sec ^4(x)}}\\ &=\frac {9 \cos ^5(x) \sin (x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {\left (63 \sec ^2(x)\right ) \int \cos ^6(x) \, dx}{80 a^2 \sqrt {a \sec ^4(x)}}\\ &=\frac {21 \cos ^3(x) \sin (x)}{160 a^2 \sqrt {a \sec ^4(x)}}+\frac {9 \cos ^5(x) \sin (x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {\left (21 \sec ^2(x)\right ) \int \cos ^4(x) \, dx}{32 a^2 \sqrt {a \sec ^4(x)}}\\ &=\frac {21 \cos (x) \sin (x)}{128 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \cos ^3(x) \sin (x)}{160 a^2 \sqrt {a \sec ^4(x)}}+\frac {9 \cos ^5(x) \sin (x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {\left (63 \sec ^2(x)\right ) \int \cos ^2(x) \, dx}{128 a^2 \sqrt {a \sec ^4(x)}}\\ &=\frac {21 \cos (x) \sin (x)}{128 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \cos ^3(x) \sin (x)}{160 a^2 \sqrt {a \sec ^4(x)}}+\frac {9 \cos ^5(x) \sin (x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {63 \tan (x)}{256 a^2 \sqrt {a \sec ^4(x)}}+\frac {\left (63 \sec ^2(x)\right ) \int 1 \, dx}{256 a^2 \sqrt {a \sec ^4(x)}}\\ &=\frac {63 x \sec ^2(x)}{256 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \cos (x) \sin (x)}{128 a^2 \sqrt {a \sec ^4(x)}}+\frac {21 \cos ^3(x) \sin (x)}{160 a^2 \sqrt {a \sec ^4(x)}}+\frac {9 \cos ^5(x) \sin (x)}{80 a^2 \sqrt {a \sec ^4(x)}}+\frac {\cos ^7(x) \sin (x)}{10 a^2 \sqrt {a \sec ^4(x)}}+\frac {63 \tan (x)}{256 a^2 \sqrt {a \sec ^4(x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.10, size = 55, normalized size = 0.42 \begin {gather*} \frac {\cos ^2(x) \sqrt {a \sec ^4(x)} (2520 x+2100 \sin (2 x)+600 \sin (4 x)+150 \sin (6 x)+25 \sin (8 x)+2 \sin (10 x))}{10240 a^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.45, size = 57, normalized size = 0.43
method | result | size |
default | \(\frac {128 \left (\cos ^{9}\left (x \right )\right ) \sin \left (x \right )+144 \left (\cos ^{7}\left (x \right )\right ) \sin \left (x \right )+168 \left (\cos ^{5}\left (x \right )\right ) \sin \left (x \right )+210 \left (\cos ^{3}\left (x \right )\right ) \sin \left (x \right )+315 \cos \left (x \right ) \sin \left (x \right )+315 x}{1280 \cos \left (x \right )^{10} \left (\frac {a}{\cos \left (x \right )^{4}}\right )^{\frac {5}{2}}}\) | \(57\) |
risch | \(\frac {63 \,{\mathrm e}^{2 i x} x}{256 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}-\frac {i {\mathrm e}^{12 i x}}{10240 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}-\frac {5 i {\mathrm e}^{10 i x}}{4096 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}-\frac {105 i {\mathrm e}^{4 i x}}{1024 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}+\frac {105 i}{1024 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}+\frac {15 i {\mathrm e}^{-2 i x}}{512 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}+\frac {15 i {\mathrm e}^{-4 i x}}{2048 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}-\frac {37 i \cos \left (8 x \right )}{5120 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}+\frac {19 \sin \left (8 x \right )}{2560 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}-\frac {115 i \cos \left (6 x \right )}{4096 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}+\frac {125 \sin \left (6 x \right )}{4096 a^{2} \left ({\mathrm e}^{2 i x}+1\right )^{2} \sqrt {\frac {a \,{\mathrm e}^{4 i x}}{\left ({\mathrm e}^{2 i x}+1\right )^{4}}}}\) | \(409\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 88, normalized size = 0.67 \begin {gather*} \frac {315 \, \tan \left (x\right )^{9} + 1470 \, \tan \left (x\right )^{7} + 2688 \, \tan \left (x\right )^{5} + 2370 \, \tan \left (x\right )^{3} + 965 \, \tan \left (x\right )}{1280 \, {\left (a^{\frac {5}{2}} \tan \left (x\right )^{10} + 5 \, a^{\frac {5}{2}} \tan \left (x\right )^{8} + 10 \, a^{\frac {5}{2}} \tan \left (x\right )^{6} + 10 \, a^{\frac {5}{2}} \tan \left (x\right )^{4} + 5 \, a^{\frac {5}{2}} \tan \left (x\right )^{2} + a^{\frac {5}{2}}\right )}} + \frac {63 \, x}{256 \, a^{\frac {5}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 3.23, size = 55, normalized size = 0.42 \begin {gather*} \frac {{\left (315 \, x \cos \left (x\right )^{2} + {\left (128 \, \cos \left (x\right )^{11} + 144 \, \cos \left (x\right )^{9} + 168 \, \cos \left (x\right )^{7} + 210 \, \cos \left (x\right )^{5} + 315 \, \cos \left (x\right )^{3}\right )} \sin \left (x\right )\right )} \sqrt {\frac {a}{\cos \left (x\right )^{4}}}}{1280 \, a^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\left (a \sec ^{4}{\left (x \right )}\right )^{\frac {5}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{{\left (\frac {a}{{\cos \left (x\right )}^4}\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________